t.b.a.

Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections.

Aims and Scope

We plan a half day of discussions, in an informal setting, on how Haskell (and friends) and rewriting techniques and theories can cross-fertilize each other.

Topics of interest are, for example,

• equational reasoning and other rewriting techniques for program verification and analysis;
• lambda calculi and type systems for functional programs and higher-order rewrite systems;
• rewriting of type expressions in the type checker;
• rewriting of programs by refactoring tools, optimizers, code generators;
• execution of programs as a form of graph rewriting (terms with sharing);
• Template Haskell, generally introducing a rewriting-like macro language into the compilation process.

This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, Idris, ...

When in doubt, please contact a member of the program committee.

Invited Speaker

We are proud to feature an invited talk by Oleg Kiselyov!

Submission and Proceedings

We solicit two types of submissions:

• Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings.
• Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings.

Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014.

In line with the informal style of the workshop, the reviewing of submissions will be light.

Proceedings will be made available electronically.

Important Dates

• Submission: Sat, July 12, 2014 (extended)
• Notification: Mon, July 21, 2014

• Workshop: Fri, September 5, 2014

Program Committee

Program Chairs

• Kristoffer Rose (Two Sigma Investments, LLC, USA)
• Janis Voigtländer (University of Bonn, Germany)

Program Committee Members

• Bertram Felgenhauer (University of Innsbruck, Austria)
• Carsten Fuhs (University College London, UK)
• Andy Gill (University of Kansas, USA)
• Makoto Hamana (Gunma University, Japan)
• Bastiaan Heeren (Open Universiteit, Netherlands)
• Femke van Raamsdonk (VU University Amsterdam, Netherlands)
• Tiark Rompf (EPFL and Oracle Labs, Switzerland)
• Christian Sternagel (JAIST, Japan; University of Innsbruck, Austria)
• Johannes Waldmann (HTWK Leipzig, Germany)

. Pre-submission of abstracts will no longer be required. -->

Submissions

10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We particularly encourage original high-quality reports on applying GPCE technologies to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice.

Papers

Acceptance Rate

Participants

• Submission: Sat, July 12, 2014 (extended)
• Notification: Mon, July 21, 2014

• Workshop: Fri, September 5, 2014

Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014.

In line with the informal style of the workshop, the reviewing of submissions will be light.

Proceedings will be made available electronically.

Important Dates

• Submission: Sat, July 12, 2014 (extended)
• Notification: Mon, July 21, 2014

• Workshop: Fri, September 5, 2014

Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014.

In line with the informal style of the workshop, the reviewing of submissions will be light.

Proceedings will be made available electronically.

Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014.

The abstracts are available here, here, and here.

Monday, January 18, 2010

Chairs' Welcome: 9:00 - 9:05

Invited Talk 1: 9:05 - 10:05

• Lennart Augustsson: O, Partial Evaluator, Where Art Thou?

Coffee break

Session 1: 10:30 - 11:30 (Java/Scala Types)

Session Chair: Jeremy G. Siek (University of Colorado at Boulder)

• Nabil el Boustani and Jurriaan Hage. Corrective Hints for Type Incorrect Generic Java Programs.
• Johannes Rudolph and Peter Thiemann. Mnemonics: Type-safe Bytecode Generation at Run Time.

Coffee break

Session 2: 12:00 - 13:00 (Tools 1)

Session Chair: Peter Thiemann (University of Freiburg)

• Elvira Albert, Miguel Gomez-Zamalloa and German Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode.
• Martin Hofmann. Igor2 - an Analytical Inductive Functional Programming System.

Lunch

Session 3: 14:30 - 15:30 (Program Transformation)

Session Chair: Elvira Albert (Complutense University of Madrid)

• José Pedro Magalhães, Stefan Holdermans, Johan Jeuring and Andres Löh. Optimizing Generics Is Easy!
• Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi. A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT.

Coffee break

Session 4: 16:00 - 17:00 (Termination)

Session Chair: Stefan Holdermans (Utrecht University)

• Hugh Anderson and Siau-Cheng KHOO. Regular Approximation and Bounded Domains for Size-Change Termination.
• Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons and Xavier Urbain. A3PAT, an Approach for Certified Automated Termination Proofs.

Break

Video Talk: 17:15 - 17:40

• Andy Gill, Garrin Kimmell and Kevin Matlage. Capturing Functions and Catching Satellites.

Tuesday, January 19, 2010

Invited Talk 2: 9:00 - 10:00

• Jeremy G. Siek. General Purpose Languages Should be Metalanguages.

Coffee break

Session 5: 10:30 - 11:30 (Innovative Programming)

Session Chair: Nate Foster (University of Pennsylvania)

• Fritz Henglein. Optimizing Relational Algebra Operations Using Generic Equivalence Discriminators and Lazy Products.
• Adrian Riesco and Juan Rodriguez-Hortala. Programming with Singular and Plural Non-deterministic Functions.

Coffee break

Session 6: 12:00 - 13:00 (Synthesis and Compilation)

Session Chair: Jurriaan Hage (Utrecht University)

• Martin Hofmann and Emanuel Kitzelmann. I/O Guided Detection of List Catamorphisms.
• Andrew Moss and Dan Page. Bridging the Gap Between Symbolic and Efficient AES Implementations.

Lunch

Session 7: 14:30 - 15:30 (Haskell Analysis/Transformation)

Session Chair: German Puebla (Technical University of Madrid)

• Christopher Brown and Simon Thompson. Clone Detection and Elimination for Haskell.
• Stefan Holdermans and Jurriaan Hage. Making Stricterness More Relevant.

Coffee break

Session 8: 16:00 - 17:00 (Static Analysis Techniques)

Session Chair: Fritz Henglein (University of Copenhagen)

• Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero Júnior. Context-Sensitive Analysis of Obfuscated x86 Executables.
• Xin Li and Mizuhito Ogawa. Conditional Weighted Pushdown Systems and Applications.

Break

Session 9: 17:15 - 18:15 (Tools 2)

Session Chair: Simon Thompson (University of Kent)

• Ivan Lazar Miljenovic. The SourceGraph Program.
• Florian Haftmann. From Higher-Order Logic to Haskell: There and Back Again.

PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, robust and well-documented tool -- highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool's strengths and weaknesses, and a summary of documentation/support available with the tool.

Tool demo paper submissions must satisfy the following requirements.

• The body of the paper must be no longer than 4 pages in length using the two-column ACM Conference style (found here). The body of the paper should give an overview of the tool, the methodology associated with its use, a summary of how the tool has been applied and to what effect, and it should indicate what supporting artifacts (user manual, example repository, downloads, etc) are available. This material will be included in the PEPM proceedings for accepted tool demos. The paper should include the following two items:
• an appendix (limited to six pages) that gives an outline of the proposed demo presentation (this material will NOT appear in the PEPM proceedings), and
• a URL to a web-site giving documentation and further information about the tool.

Because tool papers have a different format and a different purpose than regular research papers, we would like to (a) describe in more detail the characteristics of a good tool paper, and (b) give the explicit evaluation criteria that will be used by the PEPM program committee when selecting tool papers.

Regular research papers may also describe the details of a particular tool, but note that there are important differences between the contents of a tool demo paper and a research paper that describes a tool. Research papers about tools clearly describe how aspects of the tool (e.g., its architecture, underlying algorithms, combinations of techniques, functionality, etc.) advance the state of the art. This should include a detailed comparison with related work. Moreover, research papers about tools should usually include the results/data of experimental studies that rigorously demonstrate the effectiveness of the claimed scientific advance. On the other hand, the main purpose of a tool demo paper is not to rigorously justify the scientific advances of the tool (although the tool demo paper may contain a concise list of advances or references to other research papers). Rather, a tool demo paper should simply provide concise summary of the current state of a tool and describe how researchers in the PEPM community might apply it effectively.

Below we list the explicit evaluation criteria that will be used by the PEPM committee when selecting tool papers.

• Technical Foundations: In keeping with the overall goals of PEPM, described tools should be based on well-reasoned semantic principles. Even though the shorter length of tool papers will not allow authors to provide significant technical details of the theory underlying the tool, submissions should give a concise summary of the technical foundations and provide references to related work where more technical details are presented.
• Novelty: In contrast with regular PEPM submissions, PEPM tool demo papers may include work that has been published elsewhere. In the ideal case, the technical foundations of the tool will have been published previously, and the submitted PEPM tool paper will report on follow-on work that has produced a robust tool that has been applied to interesting examples. The PEPM program committee will consider accepting tool demo papers that describe tools that have been demo'ed at other conferences/workshops if these conferences/workshops belong to a different community. For example, if a tool has been demo'ed at an operating system conference, the PEPM program committee might also consider accepting the same tool to be demo'ed at PEPM if it is determined that the demo could provide interesting and new insights to the PEPM community. If tool demo papers are submitted for tools that have demo'ed elsewhere, authors should include a statement in the paper that acknowledges previous demos and that justifies what the benefits would be for presenting the tool again for the PEPM audience. In summary, the "novelty" expected of a tool demo paper is not "never been published before or presented elsewhere", but instead "new useful and practical information provided to the PEPM community".
• Stability: PEPM tool demo papers should describe tools with reasonably complete implementations. Tools where significant components are not fully implemented or tested and tools which have not been applied to interesting examples will not be considered. It is expected that tool demos will describe well-engineered internal architectures and interfaces.
• Robustness: Tool demo papers will also be evaluated for evidence of tool robustness. This might include evidence that the tool has been applied to a variety of examples, or used by others outside of the research group that developed the tools.
• Documentation: Tools to be demoed should also be presented on a web-site that includes documentation for installation and a user manual that describes the basic use of the tool, its options, and its application to at least on example.
• Example Repository: Ideally, tools should include a repository of examples (e.g., contained in the tool distribution or available on the tool web site) along with a description of how to run the tool on the examples.
• Publicly Availability: Preference will be given to tools that are freely available (e.g., downloadable from the tool web site) so that other researchers in the PEPM community can independently evaluate the tool. Exceptions may be made for tools from industry and commercial tools that cannot be made publicly available for business reasons.
• Interesting Public Presentation: Evaluation of tool demo papers will include an assessment of the potential quality of the tool demo (e.g., completeness of tool implementation, depth of functionality, quality of user interfaces, application and assessment of interesting examples) as presented in the attached appendix described above that outlines the demo session.

Authors with further questions about the structure, contents, or suitability of a potential tool demo paper should contact the program chairs.

details about the venue will follow later

Program	16 Jul 2014 - 15:31	Janis Voigtlaender
Conference Header	16 Jul 2014 - 15:28	Janis Voigtlaender
Important Dates	04 Jul 2014 - 14:06	Janis Voigtlaender
Aims And Topics	28 May 2014 - 07:41	Janis Voigtlaender
Publication Venue	26 May 2014 - 10:25	Janis Voigtlaender
Paper Submission	23 May 2014 - 10:06	Janis Voigtlaender
Web Home	23 May 2014 - 10:03	Janis Voigtlaender
Registration And Accomodation	23 May 2014 - 09:22	Janis Voigtlaender
Call For Papers	23 May 2014 - 09:15	Janis Voigtlaender
Submission Guidelines	23 May 2014 - 09:13	Janis Voigtlaender
Web Left Bar	23 May 2014 - 09:11	Janis Voigtlaender
Program Committee	06 Mar 2014 - 09:53	Janis Voigtlaender
Invited Talks	14 Feb 2014 - 05:17	Janis Voigtlaender
Web News	10 Feb 2014 - 21:03	Janis Voigtlaender
Previous Meetings	04 Feb 2014 - 11:32	Janis Voigtlaender
Workshop Venue	04 Feb 2014 - 11:30	Janis Voigtlaender
Accepted Papers	04 Feb 2014 - 11:29	Janis Voigtlaender
Web Preferences	04 Feb 2014 - 10:32	Janis Voigtlaender
Steering Committee	25 Jun 2012 - 11:08	Janis Voigtlaender
Adjacent Meetings	06 Dec 2011 - 20:59	Janis Voigtlaender
Twitter Test	11 Sep 2011 - 17:28	Frank Hermann
Affiliated Meetings	29 Apr 2011 - 10:20	Janis Voigtlaender
Historical Statistics	18 Mar 2010 - 23:47	Janis Voigtlaender
Web Statistics	07 Feb 2010 - 19:42	Janis Voigtlaender
Tentative Schedule	09 Dec 2009 - 08:55	Janis Voigtlaender
Special Feature	18 Nov 2009 - 17:21	Janis Voigtlaender
Preliminary Program	12 Nov 2009 - 17:18	Janis Voigtlaender
Tool Paper Advice	17 Jul 2009 - 07:39	Janis Voigtlaender
Research Paper Advice	16 Jul 2009 - 10:58	Janis Voigtlaender
Co-locatedMeetings	18 Jun 2009 - 12:28	Janis Voigtlaender
Conference Organization	28 May 2009 - 08:56	Janis Voigtlaender
PEPMProgram	28 May 2009 - 08:53	Janis Voigtlaender
Call For Papers Text	28 May 2009 - 07:24	Janis Voigtlaender
PEPMPublicity	07 Oct 2007 - 23:23	Robert Glueck
PEPMNews	27 Jul 2007 - 17:18	Robert Glueck
Web Notify	22 Jul 2007 - 23:56	Robert Glueck
Travel Info	22 Jul 2007 - 20:38	Robert Glueck
Electronic Submission	22 Jul 2007 - 20:17	Robert Glueck
Tutorial Guideline	22 Jul 2007 - 20:12	Robert Glueck
Publicity List 06	19 Jan 2006 - 21:58	Emir Pasalic
Tutorials And Workshops	19 Jan 2006 - 18:57	Todd Veldhuizen
Conference Flyer	14 Jan 2006 - 01:18	Emir Pasalic
Conference Program	13 Jan 2006 - 21:46	Emir Pasalic
Venuehtml	13 Jan 2006 - 21:46	Emir Pasalic
Conference Registration	13 Jan 2006 - 21:46	Emir Pasalic
Submission Format	28 Oct 2005 - 10:04	Christa Schwanninger
Web Changes	05 Dec 2004 - 11:28	Martin Bravenboer
Print Call	05 Jan 2004 - 23:38	Eelco Visser
Web Changes 500	23 Apr 2002 - 20:09	Eelco Visser
Web Changes 200	23 Apr 2002 - 20:05	Eelco Visser

Number of topics: 50

The workshop has been cancelled. Second Workshop on Haskell And Rewriting Techniques (HART 2014) Fri, September 5, 2014 Gothenburg, Sweden co-located with ICFP 2014 http://www.program-transformation.org/HART14

Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections.

Aims and Scope

We plan a half day of discussions, in an informal setting, on how Haskell (and friends) and rewriting techniques and theories can cross-fertilize each other.

Topics of interest are, for example,

• equational reasoning and other rewriting techniques for program verification and analysis;
• lambda calculi and type systems for functional programs and higher-order rewrite systems;
• rewriting of type expressions in the type checker;
• rewriting of programs by refactoring tools, optimizers, code generators;
• execution of programs as a form of graph rewriting (terms with sharing);
• Template Haskell, generally introducing a rewriting-like macro language into the compilation process.

This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, Idris, ...

When in doubt, please contact a member of the program committee.

Invited Speaker

We are proud to feature an invited talk by Oleg Kiselyov!

Submission and Proceedings

We solicit two types of submissions:

• Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings.
• Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings.

Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014.

In line with the informal style of the workshop, the reviewing of submissions will be light.

Proceedings will be made available electronically.

Local Information
Venue
Registration & Accommodation

History
Previous Meeting

2014-02-10

Program Committee formed.

2014-02-01

Invited speaker confirmed.

2014-01-16

Workshop date fixed.

2013-12-19

HART accepted as ICFP 2014 workshop.

Set PAPERNOTIFICATION = t.b.a.

Set PAPERCAMERAREADY = t.b.a.

• Set EARLYREGISTRATION = ??, 2007
• Set LATEREGISTRATION = ??, 2007

• Set CONFERENCEDAYS = Fri, September 5, 2014

• Set VENUE = Gothenburg, Sweden

Preferences:

• Set WEBTITLE = Second Workshop on Haskell And Rewriting Techniques (HART 2014)
• Set SHORTWEBTITLE = HART 2014

• List of topics of the TWiki.HART14 web:
  • Set WEBTOPICLIST = Home | Changes | Index | Search | Go

• Web specific background color: (Pick a lighter one of the StandardColors)
  • Set WEBBGCOLOR = #D0D0D0

• Exclude web from a web="all" search: (Set to on for hidden webs)
  • Set NOSEARCHALL =

• Default template for new topics and form(s) for this web:
  • WebTopicEditTemplate^?: Default template for new topics in this web. (Site-level is used if topic does not exist)
  • TWiki.WebTopicEditTemplate: Site-level default template
  • TWikiForms: How to enable form(s)
  • Set WEBFORMS =

• Users or groups who are not / are allowed to view / change / rename topics in the HART14 web: (See TWikiAccessControl)
  • Set DENYWEBVIEW =
  • Set ALLOWWEBVIEW =
  • Set DENYWEBCHANGE =
  • Set ALLOWWEBCHANGE = HartGroup
  • Set DENYWEBRENAME =
  • Set ALLOWWEBRENAME = HartGroup

• Users or groups allowed to change or rename this WebPreferences topic: (I.e. TWikiAdminGroup)
  • Set ALLOWTOPICCHANGE = TWikiAdminGroup HartGroup
  • Set ALLOWTOPICRENAME = TWikiAdminGroup HartGroup

• Web preferences that are not allowed to be overridden by user preferences:
  • Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Notes:

• A preference is defined as:
  6 spaces * Set NAME = value
  Example:
  • Set WEBBGCOLOR = #FFFFC0
• Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
  • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0 .
• The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
• You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).

Related Topics:

• TWikiPreferences has site-level preferences.
• TWikiUsers has a list of user topics. User topics can have optional user preferences.
• TWikiVariables has a list of common %VARIABLES%.
• TWikiAccessControl explains how to restrict access by users or groups.

All public webs	Help Advanced search?
Text body   Topic title   Both

• Topic index: List of HART14 topics in alphabetical order.
  |All|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|
  | All topics in BookView |

• Jump to topic: If you already know the name of the topic, enter the name of the topic into the GoBox at the top

• WebChanges: Find out what topics in HART14 have changed recently

• How to edit text:
  • Make changes to topics in GoodStyle,
  • Learn the TextFormattingRules, and
  • Have a look at the TextFormattingFAQ

HistoricalStatistics for TWiki.HART14 Web

Month:	Topic views:	Topic saves:	File uploads:	Most popular topic views:	Top contributors for topic save and uploads:
Feb 2008	2643	0	0	512 WebStatistics 302 WebHome 103 WebPreferences 102 WebNews 102 PEPMPublicity 102 PEPMProgram  75 ProgramCommittee  70 CallForPapers  63 PaperSubmission  63 ImportantDates  63 PreviousMeetings
Jan 2008	9554	0	0	1433 WebHome 786 WebStatistics 660 PEPMProgram 433 ProgramCommittee 361 PEPMPublicity 291 WebNews 283 PreviousMeetings 283 RegistrationAndAccomodation 265 PaperSubmission 265 ImportantDates 260 InvitedTalks
Dec 2007	7197	33	0	1314 WebHome 573 PEPMProgram 329 WebStatistics 304 ProgramCommittee 267 WebNews 254 PEPMPublicity 233 AcceptedPapers 213 PaperSubmission 204 InvitedTalks 201 RegistrationAndAccomodation 195 PreviousMeetings	32 RobertGlueck   1 OegeDeMoor
Nov 2007	8164	17	0	1673 WebHome 430 WebStatistics 374 AcceptedPapers 344 ImportantDates 335 ProgramCommittee 300 WebNews 275 PEPMProgram 267 RegistrationAndAccomodation 266 PaperSubmission 255 InvitedTalks 247 PEPMPublicity	17 RobertGlueck
Oct 2007	8900	21	1	2412 WebHome 822 PaperSubmission 709 ImportantDates 565 CallForPapers 440 ProgramCommittee 369 ResearchPaperAdvice 232 ToolPaperAdvice 217 PEPMPublicity 197 InvitedTalks 196 WebNews 196 PreviousMeetings	22 RobertGlueck
Sep 2007	7368	3	0	1582 WebHome 443 CallForPapers 404 ImportantDates 375 PaperSubmission 358 ProgramCommittee 332 WebStatistics 254 PEPMPublicity 236 PreviousMeetings 228 ResearchPaperAdvice 200 InvitedTalks 198 RegistrationAndAccomodation	3 RobertGlueck
Aug 2007	12282	74	10	2082 WebHome 833 ProgramCommittee 744 WebStatistics 741 CallForPapers 573 ImportantDates 513 PEPMPublicity 433 PaperSubmission 416 PEPMProgram 409 PreviousMeetings 383 ResearchPaperAdvice 341 ConferenceOrganization	81 RobertGlueck   3 OegeDeMoor
Jul 2007	3115	144	0	405 WebHome 216 ProgramCommittee 159 PreviousMeetings 154 CallForPapers 150 WebStatistics 132 ImportantDates 117 PEPMNews 112 WebIndex  99 PEPMPublicity  96 ConferenceOrganization  80 ResearchPaperAdvice	144 RobertGlueck
Jun 2007	5518	0	0	673 WebHome 316 WebStatistics 235 PEPMProgram 172 PreviousMeetings 154 WebNews 153 WorkshopVenue 146 ProgramCommittee 142 PaperSubmission 134 PEPMPublicity 131 AffiliatedMeetings 130 AcceptedPapers
May 2007	4489	0	0	530 WebHome 524 WebStatistics 202 PEPMProgram 126 PEPMPublicity 116 WebNews 115 PreviousMeetings 113 ProgramCommittee 110 PaperSubmission 107 RegistrationAndAccomodation  98 AffiliatedMeetings  98 WorkshopVenue
Apr 2007	4460	0	0	606 WebHome 358 WebStatistics 172 PEPMProgram 135 ProgramCommittee 121 WebNews 121 PEPMPublicity 121 ToolPaperAdvice 119 PreviousMeetings 115 CallForPapers 109 PaperSubmission 105 WebChanges
Mar 2007	4825	0	0	593 WebHome 454 WebStatistics 202 PEPMProgram 152 ProgramCommittee 128 WebNews 118 PublicityList06 116 PaperSubmission 110 AffiliatedMeetings 109 ResearchPaperAdvice 108 WebChanges 103 PreviousMeetings
Feb 2007	4464	0	0	661 WebHome 344 WebStatistics 261 PEPMProgram 158 WebNews 158 ProgramCommittee 128 PaperSubmission 123 AffiliatedMeetings 119 ResearchPaperAdvice 118 CallForPapers 116 PEPMPublicity 108 ToolPaperAdvice
Jan 2007	5169	7	0	1040 WebHome 612 WebStatistics 462 PEPMProgram 188 ProgramCommittee 148 WebNews 133 PEPMPublicity 123 AffiliatedMeetings 114 CallForPapers 113 AcceptedPapers 112 PaperSubmission 111 ResearchPaperAdvice	7 EelcoVisser
Dec 2006	4452	17	0	1122 WebHome 398 PEPMProgram 164 ProgramCommittee 140 AcceptedPapers 134 RegistrationAndAccomodation 126 ResearchPaperAdvice 118 WebStatistics 115 ImportantDates 114 CallForPapers 101 WebNews  98 ToolPaperAdvice	17 EelcoVisser
Nov 2006	3436	5	0	782 WebHome 223 WebStatistics 154 ProgramCommittee 141 ImportantDates 136 ResearchPaperAdvice 125 CallForPapers 106 ToolPaperAdvice  97 PEPMProgram  88 AffiliatedMeetings  88 InvitedTalks  83 PEPMPublicity	5 EelcoVisser
Oct 2006	3880	8	0	1065 WebHome 262 ImportantDates 252 CallForPapers 201 PaperSubmission 162 ProgramCommittee 134 ResearchPaperAdvice 121 WebStatistics 111 PEPMPublicity 101 PreviousMeetings  91 ToolPaperAdvice  91 AffiliatedMeetings	8 EelcoVisser
Sep 2006	2926	5	0	650 WebHome 176 CallForPapers 146 ImportantDates 136 WebStatistics 116 ProgramCommittee  95 ResearchPaperAdvice  82 PEPMPublicity  76 InvitedTalks  72 PaperSubmission  69 PreviousMeetings  67 ToolPaperAdvice	5 EelcoVisser
Aug 2006	4938	0	0	786 WebHome 268 CallForPapers 213 WebStatistics 195 ProgramCommittee 176 PaperSubmission 171 WebChanges 155 ImportantDates 151 PEPMPublicity 148 PreviousMeetings 131 WebNotify 124 PEPMProgram
Jul 2006	7014	0	0	868 WebHome 350 ProgramCommittee 337 WebStatistics 334 CallForPapers 235 PaperSubmission 213 PreviousMeetings 206 PEPMPublicity 194 ImportantDates 189 WebChanges 180 WebNotify 175 RegistrationAndAccomodation
Jun 2006	4150	29	2	827 WebHome 261 CallForPapers 233 ProgramCommittee 164 WebStatistics 159 ImportantDates 136 PreviousMeetings 125 ResearchPaperAdvice 119 PaperSubmission 116 WebChanges 114 PEPMPublicity 104 RegistrationAndAccomodation	31 EelcoVisser
May 2006	2620	80	0	427 WebHome 138 ProgramCommittee 138 CallForPapers 103 PreviousMeetings 103 ImportantDates  78 WorkshopVenue  77 ResearchPaperAdvice  74 WebChanges  72 WebLeftBar  69 WebNotify  69 AffiliatedMeetings	80 EelcoVisser
Apr 2006	15023	8	0	3330 WebHome 1250 CallForPapers 781 WebStatistics 571 ImportantDates 504 ConferenceOrganization 486 CallForTutorials? 468 CallForDemonstrations? 443 CallForWorkshops? 414 WebNews 397 ElectronicSubmission 393 WebChanges	8 ToddVeldhuizen
Mar 2006	10528	1	0	2345 WebHome 871 CallForPapers 667 WebStatistics 376 ImportantDates 343 CallForTutorials? 325 CallForWorkshops? 325 ConferenceOrganization 310 WebNews 263 CallForDemonstrations? 255 WebChanges 244 WebPreferences	1 EelcoVisser
Feb 2006	6534	0	0	1541 WebHome 550 CallForPapers 397 WebStatistics 258 ImportantDates 235 CallForTutorials? 226 ConferenceOrganization 215 CallForDemonstrations? 212 CallForWorkshops? 200 WebNews 139 WebLeftBar 129 WebPreferences
Jan 2006	6593	129	5	1553 WebHome 494 CallForPapers 422 WebStatistics 315 ImportantDates 240 WebNews 223 ConferenceOrganization 219 CallForTutorials? 197 WebPreferences 191 CallForWorkshops? 187 WebLeftBar 152 WebChanges	116 EmirPasalic  17 ToddVeldhuizen   1 ChristaSchwanninger
Dec 2005	5873	38	0	1603 WebHome 535 WebStatistics 292 WebNews 246 CallForPapers 230 WebLeftBar 204 WebPreferences 194 ImportantDates 179 ConferenceHeader 166 WebIndex 160 CallForTutorials? 156 PEPMNews	37 EmirPasalic   1 ChristaSchwanninger
Nov 2005	3943	0	0	868 WebStatistics 849 WebHome 147 WebLeftBar 144 WebNews 127 ImportantDates 126 WebPreferences 116 WebChanges 114 CallForPapers 109 ConferenceOrganization 105 WebNotify  92 PEPMNews
Oct 2005	3209	33	0	932 WebHome 175 WebNews 127 WebChanges 126 WebPreferences 118 PEPMNews 115 WebLeftBar 111 ImportantDates 110 WebNotify 105 WebStatistics 101 ConferenceHeader  99 WebIndex	31 ChristaSchwanninger   2 EugenioMoggi
Sep 2005	1290	18	2	361 WebHome  73 WebNews  55 WebIndex  46 WebNotify  46 WebChanges  41 PEPMNews  39 WebChanges500  38 WebSearch  38 CallForPapers  37 WebPreferences  36 WebChanges100	17 EelcoVisser   3 PradeepikaIrangani
Aug 2005	1526	32	1	481 WebHome 147 WebStatistics  94 ConferenceHeader  86 WebIndex  84 WebNews  75 WebPreferences  69 WebChanges  59 PEPMNews  51 WebNotify  49 WebLeftBar  43 WebSearch	20 EelcoVisser   7 MartinBravenboer   5 StanJarzabek   1 PradeepikaIrangani
Jul 2005	1191	0	0	389 WebHome 102 WebNews  74 WebIndex  73 WebChanges  68 WebStatistics  67 PEPMNews  57 ConferenceHeader  52 WebSearch  50 WebNotify  50 WebChanges500  49 WebChanges200
Jun 2005	923	0	0	375 WebHome  86 WebNews  68 WebStatistics  57 WebChanges  46 PEPMNews  45 WebNotify  42 WebIndex  39 WebSearch  37 ConferenceHeader  26 WebLeftBar  24 WebChanges500
May 2005	848	7	0	371 WebHome  53 WebNews  51 WebStatistics  45 ConferenceHeader  42 PEPMNews  38 WebChanges  33 WebIndex  31 WebSearch  26 WebPreferences  24 WebNotify  24 WebLeftBar	7 EelcoVisser
Apr 2005	6648	36	0	2409 WebHome 975 CallForPapers 638 ElectronicSubmission 298 GpceTutorialsAndWorkshops? 242 ImportantDates 181 ConferenceOrganization 148 CallForDemonstrations? 130 CallForWorkshops? 110 YoungResearchers? 102 GraphModelTransformations?  93 CallForTutorials?	23 AndrewMalton  10 EugenioMoggi   2 RobertGlueck   1 EelcoVisser
Mar 2005	4848	35	1	2091 WebHome 696 CallForPapers 202 ImportantDates 178 ElectronicSubmission 153 ConferenceOrganization 152 CallForDemonstrations? 132 CallForWorkshops? 131 GpceTutorialsAndWorkshops? 106 CallForTutorials?  55 PEPMNews  52 WebIndex	29 EugenioMoggi   5 RobertGlueck   2 EelcoVisser
Feb 2005	2975	7	0	1164 WebHome 364 CallForPapers 140 ImportantDates 137 ConferenceOrganization  95 CallForWorkshops?  84 CallForDemonstrations?  72 CallForTutorials?  50 PEPMNews  39 WebNews  39 WebChanges  38 WebNotify	7 EugenioMoggi
Jan 2005	2719	19	0	1375 WebHome 211 CallForPapers 169 ConferenceOrganization 135 ImportantDates  98 CallForWorkshops?  74 CallForTutorials?  59 PEPMNews  45 WebIndex  42 WebChanges  35 WebNews  30 CallForDemonstrations?	12 EugenioMoggi   7 EelcoVisser
Dec 2004	1546	68	0	707 WebHome 125 ImportantDates  92 ConferenceOrganization  67 ConferenceVenue?  60 CallForWorkshops?  37 WebIndex  36 CallForTutorials?  34 WebPreferences  33 WebNews  32 PEPMNews  25 WebChanges	43 EugenioMoggi  13 JeffGray  10 EelcoVisser   2 MartinBravenboer
Nov 2004	836	18	0	407 WebHome  77 ImportantDates  66 ConferenceOrganization  38 ConferenceVenue?  31 PEPMNews  28 CallForPapers  25 WebNews  20 ForOrganizers?  19 WebIndex   9 CallForWorkshops?   8 ElectronicSubmission	11 EelcoVisser   7 EugenioMoggi
Oct 2004	400	30	0	206 WebHome  50 ConferenceOrganization  38 ImportantDates  27 ConferenceVenue?  17 ConferenceHeader  14 WebIndex  11 WebContents?   5 PrintCall   4 WebNews   4 CallForPapers   2 GpceTutorials?	27 EugenioMoggi   2 MoggiE   1 RobertGlueck

Notes:

• Do not edit this topic, it is updated automatically. (You can also force an update)
• TWikiDocumentation tells you how to enable the automatic updates of the statistics.
• Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

Finding topics

• RoadMap^?
• WebIndex: all topics in the HART14 web
• WebSearch: find topics

Tracking activity

• WebNews: selected changes
• WebChanges: recent changes
• WebNotify: email notification of changes
• WebStatistics: usage counts

Look and feel

• WebPreferences: values of variables
• WebContents^?: web specific entries in the side bar

Please see the ICFP 2014 page for more information.